| 1. | Formal models of uml statechart diagrams based on petri nets
状态图的形式化模型 |
| 2. | The formalization for uml statechart diagrams
Uml状态机视图的rsl形式描述 |
| 3. | It is presented that a formalization for uml statechart diagrams in the raise specification language rsl
使用raise规范语言rsl给出了uml状态机视图的形式描述。 |
| 4. | As we will see in other articles in this series on uml basics , other diagrams - including the activity , sequence , and statechart diagrams - refer to the classes modeled and documented on the class diagram
正如我们将会在本系列关于uml基础的文章中见到的，其他的图- -包括活动图，序列图和状态图参考类图中的类建模和文档化。 |
| 5. | In the course of analysis & design , there are different phases such as the inception phase with use case models , the analysis phase with concept models and the design phase with sequence diagrams , class diagrams and statechart diagrams
整个分析和设计过程具体包括了开始阶段的用例分析、分析阶段的建立概念模型和设计阶段的时间顺序图、系统类图和状态图等内容。 |
| 6. | The design of the simulation software system of agvs transforms the use case view created in analysis phase into a design view that serves as a blueprint for software construction contains class diagrams and statechart diagrams using object - oriented design methods
在agvs仿真软件系统的面向对象的设计中，将在面向对象分析阶段所得的usecaseview转换为designview (设计视图) 。 |
| 7. | Our work focus on extending standard uml semantics to support simulation domain specific concepts including introducing virtual time in uml , using uml statechart diagram and interaction diagram with virtual time labels and constraints to describe simulation entity functional property
本文对标准uml语义进行扩展来支持pads领域的概念，将扩展后的uml用于pads系统仿真建模的好处在于利用uml本身的通用性可以降低pads系统构造的复杂性。 |
| 8. | By such a formalization , a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications , which forms the continuation of the previous work on formalization of uml class diagrams in rsl . this allows the definition of uml semantic interpretations that are precise and unambiguous , and also enhancing the readability , conciseness and abstraction of the resulting rsl specification
通过这一形式化提出了一种对图形化的uml状态机视图模型的形式化和rsl规范进行集成的框架，这一工作是对uml类图在rsl中形式化的继续，使得人们可以对uml的非形式化模型给出一种精确无二义性的语义解释，同时也提高了rsl规范的抽象层次，增强了其可读性简明性。 |
| 9. | Based on the mechanism of uml modeling , , we build a new enterprise modeling method and develop a system for managing assets . in particular , function view is expressed in use case diagram , information view is presented in class diagram , statechart diagram describes business process and we discuss the transformation from logical model in the system to physical model in the database
在工作流建模方面采用状态机( statemachine )描述业务流程；在企业功能建模方面采用用例图( usecasediagram )表达功能需求；在信息建模方面采用类图( classdiagram )建立逻辑模型，并讨论了逻辑模型向关系型数据库支持的物理模型的转换。 |
